261. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
262. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
263. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
264. Logic for computer scientists
پدیدآورنده : Schoning, Uw
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
265. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998
266. Logic for problem solving
پدیدآورنده : Kowalski, Robert
موضوع : ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
267. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
268. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
پدیدآورنده : Yiannis Moschovakis, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
9
.
A1W65
1989
269. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
270. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
271. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
272. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
273. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
274. Logic of computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
275. Logic of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
276. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
277. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
278. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
279. Logic, sets, and recursion
پدیدآورنده : Causey, Robert L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
C347
1994
280. Logic, sets, and recursion
پدیدآورنده : / Robert L. Causey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
C347
1994